- rule of logical inference
- правило логического вывода
English-Russian electronics dictionary .
rule of logical inference
Смотреть что такое "rule of logical inference" в других словарях:
Inference — is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… … Wikipedia
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
inference — in·fer·ence / in fə rəns/ n 1: the act or process of inferring; specif: the act of passing from one proposition, statement, or judgment considered as true to another whose truth is believed to follow logically from that of the former 2: something … Law dictionary
Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… … Wikipedia
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of … Wikipedia
Logical reasoning — In logic, three kinds of logical reasoning can be distinguished: deduction, induction and abduction. Given a precondition , a conclusion , and a rule that the precondition implies the conclusion , they can be explained in the following… … Wikipedia
inference — In the law of evidence, a truth or proposition drawn from another which is supposed or admitted to be true. A process of reasoning by which a fact or proposition sought to be established is deduced as a logical consequence from other facts, or a… … Black's law dictionary
inference — In the law of evidence, a truth or proposition drawn from another which is supposed or admitted to be true. A process of reasoning by which a fact or proposition sought to be established is deduced as a logical consequence from other facts, or a… … Black's law dictionary
